Model theory

Results: 13417



#Item
41Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency

Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency

Add to Reading List

Source URL: www.ips.tu-braunschweig.de

- Date: 2013-08-13 02:41:32
    42THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure ˜ is a tame extension, that is, the ramification field of t

    THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure ˜ is a tame extension, that is, the ramification field of t

    Add to Reading List

    Source URL: math.usask.ca

    - Date: 2014-03-14 23:30:15
      43Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They

      Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They

      Add to Reading List

      Source URL: www.ams.org

      - Date: 2015-08-29 00:40:53
        44Ergodic Theory and its Connections with Arithmetic and Combinatorics 12 – CIRM (Marseille Luminy, France) Weak model sets and dynamical systems of number-theoretic origin Michael Baake (-biele

        Ergodic Theory and its Connections with Arithmetic and Combinatorics 12 – CIRM (Marseille Luminy, France) Weak model sets and dynamical systems of number-theoretic origin Michael Baake (-biele

        Add to Reading List

        Source URL: www.cirm-math.fr

        - Date: 2016-11-29 05:59:07
          45Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, and Andreas Podelski University of Freiburg, Germany a ct

          Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, and Andreas Podelski University of Freiburg, Germany a ct

          Add to Reading List

          Source URL: ultimate.informatik.uni-freiburg.de

          - Date: 2015-06-23 06:01:21
            46THE MODEL THEORY OF SEPARABLY TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN AND KOUSHIK PAL Abstract. A henselian valued field K is called separably tame if its separable-algebraic closure K sep is a tame extension, that is

            THE MODEL THEORY OF SEPARABLY TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN AND KOUSHIK PAL Abstract. A henselian valued field K is called separably tame if its separable-algebraic closure K sep is a tame extension, that is

            Add to Reading List

            Source URL: math.usask.ca

            - Date: 2014-09-10 08:45:20
              47SIGGRAPH 2012 Course Notes FEM Simulation of 3D Deformable Solids: A practitioner’s guide to theory, discretization and model reduction. Part 2: Model Reduction (version: August 4, 2012) Jernej Barbiˇc Course notes UR

              SIGGRAPH 2012 Course Notes FEM Simulation of 3D Deformable Solids: A practitioner’s guide to theory, discretization and model reduction. Part 2: Model Reduction (version: August 4, 2012) Jernej Barbiˇc Course notes UR

              Add to Reading List

              Source URL: run.usc.edu

              - Date: 2016-06-26 18:56:08
                48PHYSICS OF PLASMAS 15, 122509 共2008兲 Linearized model Fokker–Planck collision operators for gyrokinetic simulations. I. Theory I. G. Abel,1,2,a兲 M. Barnes,3,b兲 S. C. Cowley,1,2 W. Dorland,3 and A. A. Schekochi

                PHYSICS OF PLASMAS 15, 122509 共2008兲 Linearized model Fokker–Planck collision operators for gyrokinetic simulations. I. Theory I. G. Abel,1,2,a兲 M. Barnes,3,b兲 S. C. Cowley,1,2 W. Dorland,3 and A. A. Schekochi

                Add to Reading List

                Source URL: www-thphys.physics.ox.ac.uk

                - Date: 2009-11-27 14:05:57
                  49The geometry of model theory and Diophantine geometry London-Paris Number Theory Seminar B. Zilber University of Oxford

                  The geometry of model theory and Diophantine geometry London-Paris Number Theory Seminar B. Zilber University of Oxford

                  Add to Reading List

                  Source URL: people.maths.ox.ac.uk

                  - Date: 2011-03-27 14:46:04
                    50Towards general theory of raster data generalization Paulo Raposo & Timofey Samsonov Introduction Despite the raster model’s simplicity, deep conceptual ambiguities exist within it. Every cell covers a certain area in

                    Towards general theory of raster data generalization Paulo Raposo & Timofey Samsonov Introduction Despite the raster model’s simplicity, deep conceptual ambiguities exist within it. Every cell covers a certain area in

                    Add to Reading List

                    Source URL: generalisation.icaci.org

                    - Date: 2014-09-08 04:23:00